Closure tools http://code.google.com/closure/ A Javascript library & toolbox that is used in many Google products including Gmail and Google plus.